Morrisett, Greg: шукати на сайті Z-Library

Glew, Neal, Morrisett, Greg

Рік:

2004

Мова:

english

Файл:

PDF, 1.93 MB

english, 2004

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - From system F to typed assembly language

Morrisett, Greg, Walker, David, Crary, Karl, Glew, Neal

Рік:

1998

Мова:

english

Файл:

PDF, 1.32 MB

english, 1998

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Combining control-flow integrity and static analysis for efficient and validated data sandboxing

Zeng, Bin, Tan, Gang, Morrisett, Greg

Рік:

2011

Мова:

english

Файл:

PDF, 501 KB

english, 2011

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Type-safe linking and modular assembly language

Рік:

1999

Мова:

english

Файл:

PDF, 1.30 MB

english, 1999

Stack-based typed assembly language

MORRISETT, GREG, CRARY, KARL, GLEW, NEAL, WALKER, DAVID

Журнал:

Gregory Malecha, Greg Morrisett, Ryan Wisnesky

Рік:

2003

Файл:

PDF, 72 KB

2003

Trace-based verification of imperative programs with I/O

Журнал:

Journal of Symbolic Computation

Рік:

2011

Мова:

english

Файл:

PDF, 703 KB

english, 2011

Typed Closure Conversion for Recursively-Defined Functions: Extended Abstract

Greg Morrisett, Robert Harper

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

1998

Мова:

english

Файл:

PDF, 535 KB

english, 1998

Safe manual memory management in Cyclone

Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Журнал:

Science of Computer Programming

Рік:

2006

Мова:

english

Файл:

PDF, 699 KB

english, 2006

Region-based memory management in cyclone

Grossman, Dan, Morrisett, Greg, Jim, Trevor, Hicks, Michael, Wang, Yanling, Cheney, James

Журнал:

Mainland, Geoffrey, Morrisett, Greg

Рік:

2002

Мова:

english

Файл:

PDF, 243 KB

english, 2002

Nikola

Журнал:

Randles, Amanda Peters, Rand, David G., Lee, Christopher, Morrisett, Greg, Sircar, Jayanta, Nowak, Martin A., Pfister, Hanspeter

Рік:

2010

Мова:

english

Файл:

PDF, 713 KB

english, 2010

[IEEE 2013 IEEE International Symposium on Parallel & Distributed Processing (IPDPS) - Cambridge, MA, USA (2013.05.20-2013.05.24)] 2013 IEEE 27th International Symposium on Parallel and Distributed Processing - Massively Parallel Model of Extended Memory Use in Evolutionary Game Dynamics

Рік:

2013

Мова:

english

Файл:

PDF, 1010 KB

english, 2013

[IEEE 2013 IEEE International Conference on Technologies for Homeland Security (HST) - Waltham, MA, USA (2013.11.12-2013.11.14)] 2013 IEEE International Conference on Technologies for Homeland Security (HST) - SAFE: A clean-slate architecture for secure systems

Chiricescu, Silviu, DeHon, Andre, Demange, Delphine, Iyer, Suraj, Kliger, Aleksey, Morrisett, Greg, Pierce, Benjamin C., Reubenstein, Howard, Smith, Jonathan M., Sullivan, Gregory T., Thomas, Arun, To

Рік:

2013

Мова:

english

Файл:

PDF, 494 KB

english, 2013

[IEEE 2012 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Lyon, France (2012.09.10-2012.09.14)] 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops - Hardware Support for Safety Interlocks and Introspection

Dhawan, Udit, Kwon, Albert, Kadric, Edin, Hritcu, Catalin, Pierce, Benjamin C., Smith, Jonathan M., DeHon, Andre, Malecha, Gregory, Morrisett, Greg, Knight, Thomas F., Sutherland, Andrew, Hawkins, Tom

Рік:

2012

Мова:

english

Файл:

PDF, 572 KB

english, 2012

[IEEE 2007 6th International Symposium on Information Processing in Sensor Networks - Cambridge, MA, USA (2007.04.25-2007.04.27)] 2007 6th International Symposium on Information Processing in Sensor Networks - The Regiment Macroprogramming System

Newton, Ryan, Morrisett, Greg, Welsh, Matt

Рік:

2007

Мова:

english

Файл:

PDF, 5.77 MB

english, 2007

Hoare type theory, polymorphism and separation

NANEVSKI, ALEKSANDAR, MORRISETT, GREG, BIRKEDAL, LARS

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 305 KB

english, 2008

Technical perspectiveA compiler's story

Communications of the ACM

Журнал:

Рік:

2009

Мова:

english

Файл:

PDF, 542 KB

english, 2009

[ACM Press the 4th international symposium - Vancouver, BC, Canada (2004.10.24-2004.10.25)] Proceedings of the 4th international symposium on Memory management - ISMM '04 - Experience with safe manual memory-management in cyclone

Hicks, Michael, Morrisett, Greg, Grossman, Dan, Jim, Trevor

Рік:

2004

Мова:

english

Файл:

PDF, 664 KB

english, 2004

[ACM Press the 5th international conference - Sydney, Australia (2007.11.06-2007.11.09)] Proceedings of the 5th international conference on Embedded networked sensor systems - SenSys '07 - Sensor network programming with Flask

Mainland, Geoffrey, Morrisett, Greg, Welsh, Matt, Newton, Ryan

Рік:

2007

Мова:

english

Файл:

PDF, 136 KB

english, 2007

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - Invited talk

Nanevski, Aleksandar, Morrisett, Greg, Shinnar, Avraham, Govereau, Paul, Birkedal, Lars

Рік:

2004

Мова:

english

Файл:

PDF, 19 KB

english, 2004

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Ynot

Рік:

2008

Мова:

english

Файл:

PDF, 302 KB

english, 2008

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Toward a verified relational database management system

Malecha, Gregory, Morrisett, Greg, Shinnar, Avraham, Wisnesky, Ryan

Рік:

2010

Мова:

english

Файл:

PDF, 470 KB

english, 2010

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Evaluating value-graph translation validation for LLVM

Tristan, Jean-Baptiste, Govereau, Paul, Morrisett, Greg

Рік:

2011

Мова:

english

Файл:

PDF, 737 KB

english, 2011

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Typed closure conversion

Minamide, Yasuhiko, Morrisett, Greg, Harper, Robert

Рік:

1996

Мова:

english

Файл:

PDF, 1.39 MB

english, 1996

Bringing java's wild native world under control

Sun, Mengtao, Tan, Gang, Siefers, Joseph, Zeng, Bin, Morrisett, Greg

Журнал:

ACM Transactions on Information and System Security

Рік:

2013

Мова:

english

Файл:

PDF, 475 KB

english, 2013

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Effective interactive proofs for higher-order imperative programs

Chlipala, Adam, Malecha, Gregory, Morrisett, Greg, Shinnar, Avraham, Wisnesky, Ryan

Рік:

2009

Мова:

english

Файл:

PDF, 373 KB

english, 2009

Computability classes for enforcement mechanisms

Hamlen, Kevin W., Morrisett, Greg, Schneider, Fred B.

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

2006

Мова:

english

Файл:

PDF, 330 KB

english, 2006

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Flask

Mainland, Geoffrey, Morrisett, Greg, Welsh, Matt

Рік:

2008

Мова:

english

Файл:

PDF, 354 KB

english, 2008

[ACM Press the 6th Workshop - Cascais, Portugal (2011.10.23-2011.10.23)] Proceedings of the 6th Workshop on Programming Languages and Operating Systems - PLOS '11 - Preliminary design of the SAFE platform

DeHon, André, Ray, Sumit, Shivers, Olin, Smith, Jonathan M., Sullivan, Gregory, Karel, Ben, Knight, Thomas F., Malecha, Gregory, Montagu, Benoît, Morisset, Robin, Morrisett, Greg, Pierce, Benjamin C.,

Рік:

2011

Мова:

english

Файл:

PDF, 721 KB

english, 2011

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - RockSalt

Morrisett, Greg, Tan, Gang, Tassarotti, Joseph, Tristan, Jean-Baptiste, Gan, Edward

Рік:

2012

Мова:

english

Файл:

PDF, 655 KB

english, 2012

[ACM Press the third ACM SIGPLAN international conference - Baltimore, Maryland, United States (1998.09.26-1998.09.29)] Proceedings of the third ACM SIGPLAN international conference on Functional programming - ICFP '98 - Intensional polymorphism in type-erasure semantics

Crary, Karl, Weirich, Stephanie, Morrisett, Greg

Рік:

1998

Мова:

english

Файл:

PDF, 1.21 MB

english, 1998

From system F to typed assembly language

Morrisett, Greg, Walker, David, Crary, Karl, Glew, Neal

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

1999

Мова:

english

Файл:

PDF, 473 KB

english, 1999

Typed memory management via static capabilities

Walker, David, Crary, Karl, Morrisett, Greg

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

2000

Мова:

english

Файл:

PDF, 647 KB

english, 2000

Syntactic type abstraction

Grossman, Dan, Morrisett, Greg, Zdancewic, Steve

Журнал:

ACM Transactions on Programming Languages and Systems

Рік:

2000

Мова:

english

Файл:

PDF, 443 KB

english, 2000

[ACM Press the 2002 ACM SIGPLAN-SIGSOFT workshop - Charleston, South Carolina, USA (2002.11.18-2002.11.19)] Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '02 - Analysis issues for cyclone

Hamlen, Kevin W., Morrisett, Greg, Schneider, Fred B.

Рік:

2002

Мова:

english

Файл:

PDF, 105 KB

english, 2002

[ACM Press the 2006 workshop - Ottawa, Ontario, Canada (2006.06.10-2006.06.10)] Proceedings of the 2006 workshop on Programming languages and analysis for security - PLAS '06 - Certified In-lined Reference Monitoring on .NET

Рік:

2006

Мова:

english

Файл:

PDF, 206 KB

english, 2006

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Typed memory management in a calculus of capabilities

Crary, Karl, Walker, David, Morrisett, Greg

Рік:

1999

Мова:

english

Файл:

PDF, 1.46 MB

english, 1999

[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - Invited talk

Siefers, Joseph, Tan, Gang, Morrisett, Greg

Рік:

2004

Мова:

english

Файл:

PDF, 16 KB

english, 2004

[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Robusta

Рік:

2010

Мова:

english

Файл:

PDF, 710 KB

english, 2010

[IEEE 2015 IEEE 28th Computer Security Foundations Symposium (CSF) - Verona, Italy (2015.7.13-2015.7.17)] 2015 IEEE 28th Computer Security Foundations Symposium - A Mechanized Proof of Security for Searchable Symmetric Encryption

Petcher, Adam, Morrisett, Greg

Рік:

2015

Мова:

english

Файл:

PDF, 241 KB

english, 2015

[ACM Press the ACM SIGPLAN 2002 Conference - Berlin, Germany (2002.06.17-2002.06.19)] Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02 - Region-based memory management in cyclone

Grossman, Dan, Morrisett, Greg, Jim, Trevor, Hicks, Michael, Wang, Yanling, Cheney, James

Рік:

2002

Мова:

english

Файл:

PDF, 243 KB

english, 2002

[ACM Press the 6th international conference - Cambridge, Massachusetts, USA (2007.04.25-2007.04.27)] Proceedings of the 6th international conference on Information processing in sensor networks - IPSN '07 - The regiment macroprogramming system

Newton, Ryan, Morrisett, Greg, Welsh, Matt

Рік:

2007

Мова:

english

Файл:

PDF, 1.29 MB

english, 2007

“Language-Based Security”

ABADI, MARTÍN, MORRISETT, GREG, SABELFELD, ANDREI

Журнал:

CRARY, KARL, WEIRICH, STEPHANIE, MORRISETT, GREG

Рік:

2005

Мова:

english

Файл:

PDF, 33 KB

english, 2005

Intensional polymorphism in type-erasure semantics

Журнал:

HUDAK, PAUL, MORRISETT, GREG

Рік:

2002

Мова:

english

Файл:

PDF, 393 KB

english, 2002

Editorial

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 34 KB

english, 2004

Stack-based typed assembly language

MORRISETT, GREG, CRARY, KARL, GLEW, NEAL, WALKER, DAVID

Журнал:

Рік:

2002

Мова:

english

Файл:

PDF, 473 KB

english, 2002

Compiling for template-based run-time code generation

SMITH, FREDERICK, GROSSMAN, DAN, MORRISETT, GREG, HORNOF, LUKE, JIM, TREVOR

Журнал:

Tan, Gang, Morrisett, Greg

Рік:

2003

Мова:

english

Файл:

PDF, 307 KB

english, 2003

Ilea

Журнал: